退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:accmon:通过基于程序计数器的不变量自动检测与内存有关的错误
Pin Zhou; Wei Liu; Long Fei; Shan Lu; Feng Qin; Yuanyuan Zhou; Samuel Midkiff; Josep Torrellas;
机译:Nopol:Java程序中条件语句错误的自动修复
机译:在开源程序中自动查找错误
机译:我是否使用了错误的定义?:DeFuse:定义使用不变式来检测并发和顺序错误
机译:使用程序不变性检测并发程序的错误
机译:通过对异常变量进行分类检测自动驾驶仪软件中的语义错误
机译:被自动喷雾器打扰。
机译:好虫子,坏虫:一种检测进攻性生物武器研究的现代方法
机译:游戏系统中的错误检测方法,错误发生避免方法,错误检测程序,错误发生避免程序和记录介质
机译:用于检测依赖代码访问控制的程序中的安全性错误的静态程序分析方法
机译:依赖代码访问控制的程序中安全漏洞的静态程序分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。